Value of Information in Probabilistic Logic Programs
نویسندگان
چکیده
منابع مشابه
Temporal Probabilistic Logic Programs
There are many applications where the precise time at which an event will occur (or has occurred) is uncertain. Temporal probabilistic logic programs (TPLPs) allow a programmer to express knowledge about such events. In this paper, we develop a model theory, xpoint theory, and proof theory for TPLPs, and show that the xpoint theory may be used to enumerate consequences of a TPLP in a sound and ...
متن کاملProbabilistic Description Logic Programs
Towards sophisticated representation and reasoning techniques that allow for probabilistic uncertainty in the Rules, Logic, and Proof layers of the Semantic Web, we present probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set semantics and the well-founded semantics with Poole’s independent choice...
متن کاملHybrid Probabilistic Logic Programs as Residuated Logic Programs
In this paper we show the embedding of Hybrid Probabilis-tic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (deenite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the rst time a framework encompassing several qu...
متن کاملHybrid Probabilistic Logic Programs as Residuated Logic Programs
In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (deenite) logic programming are validly extrapolated. The importance of this result is that for the rst time a framework encompassing several quite distinct logic programming more general semantical structure paving the way for deen...
متن کاملStratified Probabilistic Description Logic Programs
In previous work, we have introduced probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set and well-founded semantics with Poole’s independent choice logic. Such programs are directed towards sophisticated representation and reasoning techniques that allow for probabilistic uncertainty in the Rules...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2019
ISSN: 2075-2180
DOI: 10.4204/eptcs.306.14